41. Intensional and higher-order modal logic : with applications to Montague semantics
Author: Gallin, Daniel.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Modality )Logic(,، Logic, Symbolic and mathematical
Classification :
BC
199
.
M6
.
G35
1975
42. Intensional mathematics
Author: edited by Stewart Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
Classification :
QA
9
.
46
.
I57
1985
43. Intensional mathematics
Author: / edited by Stewart Shapiro. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic),Constructive mathematics.,Intuitionistic mathematics.
Classification :
QA
,
9
.
46
,.
I57
,
1985
44. Intensional mathematics
Author: SHAPIRO,STEWART
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
Classification :
QA
9
.
46
.
I57
45. Intensional mathematics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Modality (Logic) ;
46. Intensional mathematics /
Author: edited by Stewart Shapiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
Classification :
QA9
.
46
.
I57
1985
47. Intentional mathematics
Author: edited by Stewart Shapiro
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
Classification :
QA
9
.
46
.
I57
1985
48. Interpolation and definability
Author: Gabbay, Dov M., 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
Classification :
QA
281
.
G28I5
49. Introduction to deontic logic and the theory of normative systems /
Author: Lennart Åqvist
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique
Classification :
BC145
.
A67
1987
50. Introductory modal logic
Author: Konyndyk, Kenneth.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Modality )Logic(
Classification :
BC
199
.
M6
K66
1986
51. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Author: Gabbay, Dov M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
Classification :
BC
199
.
M6
.
G3
52. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Author: Gabbay, Dov M., 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
Classification :
BC
199
.
M6G22
53. Kant's modal metaphysics
Author: Stang, Nicholas Frederick, 9791-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics
Classification :
B
2799
.
M5S72
54. Laws, modalities, and counterfactuals
Author: Reichenbach, Hans, 1981-3591
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy
Classification :
BC
199
.
C66R44
55. Logic for concurrency and synchronisation
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science)
Classification :
QA9
.
54
.
L64
2003
56. Logic for concurrency and synchronisation]CD[
Author: edited by Ruy J.G.B. de Queiroz
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
Classification :
CD
1743-35
57. Logic for concurrency and synchronisation
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
Classification :
E-BOOK
58. Logics of time and computation
Author: Goldblatt, Robert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(
Classification :
P
25
.
C28
No
.
7
59. #Many-dimensional modal logics
Author: #D.M. Gabbay ... ]et al.[
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Modality )Logic(
Classification :
#
BC
،#.
M6
,
M34
60. Mathematics of modality
Author: / Robert Goldblatt
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic)
Classification :
QA
,
9
.
46
,.
G66
,
1994
